<?php
class B {
	function __toString() {
		return 'B';
	}
}